Rail system - PDFSEARCH.IO - Document Search Engine

Rail system
Results: 3370

#	Item
981	Logical Verification and Systematic Parametric Analysis in Train Control? Andr´e Platzer and Jan-David Quesel University of Oldenburg, Department of Computing Science, Germany {platzer\|quesel}@informatik.uni-oldenburg.d Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:19 Rail transport European Rail Traffic Management System European Train Control System Theoretical computer science Railway signalling Model checking KeY First-order logic Correctness Transport Train protection systems Land transport
982	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: symbolaris.com Language: English - Date: 2013-11-27 20:01:46 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
983	Five-year Integrated M.Sc. Geography Eligibility Pass in Higher Secondary (10+2 pattern) conducted by State Governments / CBSE (Any Group) Add to Reading List Source URL: www.bdu.ac.in Language: English - Date: 2014-07-28 02:44:59 Geographic information system Geospatial analysis Indian Railways Rail transport in India Tiruchirappalli
984	Commuter Rail Maintenance Facility Commuter Rail Maintenance Facility Fact Sheet OVERVIEW Add to Reading List Source URL: admin.rtd-fastracks.com Language: English - Date: 2015-01-26 10:12:04 Electric rail transport Trains Commuter rail Railway electrification system Rapid transit Transport Land transport Rail transport
985	1997 Jeep Wrangler SE F - BASIC TESTING - 2.5L 1997 ENGINE PERFORMANCE Chrysler Corp. Basic Diagnostic Procedures FUEL PRESSURE RELEASE Fuel Rail With Fuel Pressure Test Port Add to Reading List Source URL: www.justanswer.com Language: English - Date: 2008-11-07 14:44:31 Pumps Fuel pump Fuel injection Petroleum products Fuel rail Fuel tank Gasoline Aircraft fuel system Internal combustion engine Energy Mechanical engineering
986	July 18, [removed]Clifford Winston: Paving the Way for Driverless Cars Instead of focusing on an enormously expensive high-speed rail system, government should promote modern highway design for cars of the future. By CLIFF Add to Reading List Source URL: honolulutraffic.com Language: English - Date: 2012-07-18 15:05:58 Autonomous car Traffic congestion Automobile Lane Traffic Electronic toll collection Highway Platoon Google driverless car Transport Land transport Road transport
987	Federal Railroad Administration, DOT Pt. 213, App. B APPENDIX B TO PART 213—SCHEDULE OF CIVIL PENALTIES Section Add to Reading List Source URL: www.gpo.gov Language: English - Date: 2014-01-29 12:32:49 Permanent way Track Railroad switch Derail Rail fastening system Level crossing Transport Land transport Rail transport
988	TRANSPORT Low Carbon Rail Transport Challenge Action Plan Provisional copy Action Plan Add to Reading List Source URL: www.un.org Language: English - Date: 2015-02-17 13:30:34 Trains Railteam Rail transport in Tunisia Tunisian Railways National company for rail transport SNCF Freight rail transport Railway electrification system Japan Railways Group Transport Land transport Rail transport
989	3 GENERAL PROCUREMENT NOTICE Add to Reading List Source URL: www.afdb.org Language: English Transport Electric rail transport Electrical engineering Monopoly Electric power transmission Electrical safety Overhead power line Railway electrification system Electrical substation Electric power Electromagnetism Electric power distribution
990	Logical Verification and Systematic Parametric Analysis in Train Control Andr´ e Platzer and Jan-David Quesel University of Oldenburg Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:18 Train protection systems European Rail Traffic Management System European Train Control System Symbol Transport Land transport Rail transport

UPDATE